ctx.addClock("clk", 12) 
